#! /bin/bash

. ./environment

if [ ! -f ${KERNEL} ]
then
	make -C ${KERNEL_DIR}
fi
cp -uf ${KERNEL} ${SYSTEM_DIR}/boot
